On the Relation between Interpreted Systems and Kripke Models
نویسندگان
چکیده
We compare Kripke models and a simpliied notion of Interpreted Systems as semantic structures for reasoning about knowledge. It is intuitively clear that interpreted systems represent a special class of Kripke models; the goal of this paper is to make this intuition formal, and to clarify the relationship between the two semantic structures. Our method is to deene a map from the class of systems to the class of Kripke frames, another in the opposite direction, and study their properties and compositions. We show that it is possible to characterise completely the frames that are images of the systems.
منابع مشابه
Connecting dynamic epistemic and temporal epistemic logics
We give a relation between a logic of knowledge and change, with a semantics on Kripke models, and a logic of knowledge and time, with a semantics on interpreted systems. In particular, given an epistemic state (pointed Kripke model with equivalence relations) and a formula in a dynamic epistemic logic (a logic describing the consequences of epistemic actions), we construct an interpreted syste...
متن کاملOn the Modal Definability of Simulability by Finite Transitive Models
We show that given a finite, transitive and reflexive Kripke model 〈W,4, J·K〉 and w ∈ W , the property of being simulated by w (i.e., lying on the image of a literalpreserving relation satisfying the ‘forth’ condition of bisimulation) is modally undefinable within the class of S4 Kripke models. Note the contrast to the fact that lying in the image of w under a bisimulation is definable in the s...
متن کاملModel checking dynamic epistemics in branching time
We give a relation between a logic of knowledge and change, with a semantics on Kripke models, and a logic of knowledge and time, with a semantics on interpreted systems. More in particular, given an epistemic state and a formula in action model logic, we construct an interpreted system relative to that epistemic state and that formula that satisfies the translation of the formula into branchin...
متن کاملGeometric Aspects of Multiagent Systems
Recent advances in Multiagent Systems (MAS) and Epistemic Logic within Distributed Systems Theory, have used various combinatorial structures that model both the geometry of the systems and the Kripke model structure of models for the logic. Examining one of the simpler versions of these models, interpreted systems, and the related Kripke semantics of the logic S5n (an epistemic logic with n-ag...
متن کاملLogics for Classes of Boolean Monoids
This paper presents the algebraic and Kripke model soundness and completeness of a logic over Boolean monoids. An additional axiom added to the logic will cause the resulting monoid models to be representable as monoids of relations. A star operator, interpreted as reflexive, transitive closure, is conservatively added to the logic. The star operator is a relative modal operator, i.e., one that...
متن کامل